Typical Structural Properties of State Spaces
نویسنده
چکیده
Explicit model checking algorithms explore the full state space of a system. We have gathered a large collection of state spaces and performed an extensive study of their structural properties. The results show that state spaces have several typical properties and that they differ significantly from both random graphs and regular graphs. We point out how to exploit these typical properties in practical model checking algorithms.
منابع مشابه
The Effect of Europium Doping on the Structural and Magnetic Properties of GdMnO3 Multiferroic Ceramics
Single phase Eu doped GdMnO3 ceramics were prepared using solid state reaction route. Several different characterization techniques were used to investigate the structural and magnetic properties of the samples, including X-Ray Diffraction (XRD), Scanning Electron Microscopy (SEM), Energy Dispersive Spectroscopy (EDX) and Vibrating Sample Magnetometer (VSM). All samples indicated single p...
متن کاملOn categories of merotopic, nearness, and filter algebras
We study algebraic properties of categories of Merotopic, Nearness, and Filter Algebras. We show that the category of filter torsion free abelian groups is an epireflective subcategory of the category of filter abelian groups. The forgetful functor from the category of filter rings to filter monoids is essentially algebraic and the forgetful functor from the category of filter groups to the cat...
متن کاملOn an atomic decomposition in Banach spaces
An atomic decomposition is considered in Banach space. A method for constructing an atomic decomposition of Banach space, starting with atomic decomposition of subspaces is presented. Some relations between them are established. The proposed method is used in the study of the frame properties of systems of eigenfunctions and associated functions of discontinuous differential operators.
متن کاملTheoretical Assessment of the First Cycle Transition, Structural Stability and Electrochemical Properties of Li2FeSiO4 as a Cathode Material for Li-ion Battery
Lithium iron orthosilicate (Li2FeSiO4) with Pmn21 space group is theoritically investigated as a chathode material of Li-ion batteries using density functional theory (DFT) calculations. PBE-GGA (+USIC), WC-GGA, L(S)DA (+USIC) and mBJ+LDA(GGA) methods under spin-polarization ferromagnetic (FM) and anti-ferromagnetic (AFM) procedure are used to investigate the material properties, includin...
متن کاملOptical and Nano structural properties of Hematite (α-Fe2O3) nanorods in interaction with Bovine Serum Albumin (BSA) Protein Solution
Hematite (α-Fe2O3) nanorods were synthesized by hydrothermal method using Cetyltrimethylammonium bromide (CTAB) as a surfactant agent. To study optical, nanostructural properties, and to control the morphology and shape of nanorods, 0.025 mol L-1, 0.05 mol L-1 and 0.1 mol L-1 concentration of CTAB were used. Moreover, the effect of interaction between bovine serum albumin (BSA) A9418-5G protein...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004